Boolean expression simplification

join shbcf.ru